On the Number of Equivalence Classes of Binary Forms of given Degree and given Discriminant
نویسندگان
چکیده
∈ GL2(Z) such that G(X, Y ) = F (aX + bY, cX + dY ). Denote by D(F ) the discriminant of a binary form F , and by OF the invariant order of an irreducible binary form F . We recall the definition of the invariant order of F which is less familiar. Write F (X, Y ) = a0X r + a1X Y + · · · + arY r and let θF be a zero of F (X, 1). Then OF is defined to be the Z-module with basis 1, a0θF , a0θ 2 F + a1θF , a0θ 3 F + a1θ 2 F + a2θF ,. . ., a0θ r−1 F + a1θ r−2 F + · · · + ar−2θF ; this is indeed an order, i.e., closed under multiplication. It is well-known that two equivalent binary forms have the same discriminant. Further, two equivalent irreducible binary forms have the same invariant order. The discriminant D(OF ) of OF is equal to D(F ) (see [8], [9] for a verification of these facts). Consequently, if K = Q(θF ),
منابع مشابه
Fuzzy number-valued fuzzy relation
It is well known fact that binary relations are generalized mathematical functions. Contrary to functions from domain to range, binary relations may assign to each element of domain two or more elements of range. Some basic operations on functions such as the inverse and composition are applicable to binary relations as well. Depending on the domain or range or both are fuzzy value fuzzy set, i...
متن کاملAdvanced Algebra
This chapter establishes Gauss’s Law of Quadratic Reciprocity, the theory of binary quadratic forms, and Dirichlet’s Theorem on primes in arithmetic progressions. Section 1 outlines how the three topics of the chapter occurred in natural sequence and marked a transition as the subject of number theory developed a coherence and moved toward the kind of algebraic number theory that is studied tod...
متن کاملTabulation of cubic function fields via polynomial binary cubic forms
We present a method for tabulating all cubic function fields over Fq(t) whose discriminant D has either odd degree or even degree and the leading coefficient of −3D is a non-square in Fq , up to a given bound B on deg(D). Our method is based on a generalization of Belabas’ method for tabulating cubic number fields. The main theoretical ingredient is a generalization of a theorem of Davenport an...
متن کاملREPRESENTATIONS OF DEFINITE BINARY QUADRATIC FORMS OVER F q [ t ]
In this paper, we prove that a binary definite quadratic form over Fq[t], where q is odd, is completely determined up to equivalence by the polynomials it represents up to degree 3m− 2, where m is the degree of its discriminant. We also characterize, when q > 13, all the definite binary forms over Fq[t] that have class number one.
متن کاملEquivalence Proofs for Multi-Layer Perceptron Classifiers and the Bayesian Discriminant Function
This paper presents a number of proofs that equate the outputs of a Multi-Layer Perceptron (MLP) classifier and the optimal Bayesian discriminant function for asymptotically large sets of statistically independent training samples. Two broad classes of objective functions are shown to yield Bayesian discriminant performance. The first class are “reasonable error measures,” which achieve Bayesia...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003